include $(srcdir)/htmlfiles
EXTRA_DIST = $(HTMLFILES) htmlfiles